Timing-Based Communication Refinement for CFSMs

In this paper, we present an approach to refine the communication mechanism of CFSMs. Currently, CFSMs communicate via one-place buffer using nonblocking write semantics. If sending events arrive faster than the receiving module can consume, some events may be lost. This is clearly undesirable especially when the events are critical. Using a rendezvous-based mechanism for communication as our starting point, we transform rendezvous points into bounded buffers whenever possible. An algorithm for sizing buffers is presented taking into consideration of the possibility of CPU contention when several processes are sharing a CPU.